home *** CD-ROM | disk | FTP | other *** search
/ NetNews Offline 2 / NetNews Offline Volume 2.iso / news / comp / std / c / 151 < prev    next >
Encoding:
Text File  |  1996-08-06  |  2.8 KB  |  75 lines
  1. Path: boy.nmd.msu.ru!not-for-mail
  2. From: krotoff@such.srcc.msu.su (Alexander Krotoff)
  3. Newsgroups: comp.std.c
  4. Subject: ... char * * promotion to char const * const * ...
  5. Date: 19 Jan 1996 13:33:44 +0300
  6. Organization: Research Computer Center, Moscow State University
  7. Sender: krotoff@boy.nmd.msu.ru
  8. Message-ID: <4dns28$3c5@boy.nmd.msu.ru>
  9. References: <4dgj8q$qin@unix.sri.com> <KANZE.96Jan17121659@slsvewt.lts.sel.alcatel.de> <DLBzGB.J60@polo.demon.co.uk>
  10. Reply-To: krotoff@such.srcc.msu.su (Alexander Krotoff)
  11. NNTP-Posting-Host: boy.nmd.msu.ru
  12.  
  13. X-InCommentTo: john@polo.demon.co.uk (John Winters)
  14.  
  15. john@polo.demon.co.uk (John Winters) wrote:
  16. > In article <KANZE.96Jan17121659@slsvewt.lts.sel.alcatel.de>,
  17. > James Kanze US/ESC 60/3/141 #40763 <kanze@lts.sel.alcatel.de> wrote:
  18. > [snip]
  19. > >
  20. > >Originally, the C standard was going to allow this; in fact, it was
  21. > >going to allow all casts which added const anywhere in the type.  Then
  22. > >someone pointed out that the conversion 'char ** -> char *const *' was
  23. > >unsafe.  As a result, the wording was changed to only allow adding the
  24. > >const at the top level.
  25. > 
  26. > Interesting.  Could you enlighten us (well, me anyway) as to *why* it
  27. > is unsafe.  I don't find it immediately obvious.
  28.  
  29. Hello Joshn.
  30.  
  31. here is an example Joe Buck sent me this Julay.
  32. i did not understand it too before.
  33. i think it is quite simple and clean.
  34.  
  35. Regards,
  36. --
  37. Alexander N. Krotoff
  38. Research Computer Center
  39. Moscow State University
  40.  
  41. -------------------------------------------------------------------
  42. From: Joe Buck <jbuck@Synopsys.COM>
  43. Message-Id: <199507211636.JAA17469@deerslayer.synopsys.com>
  44. Subject: Re: pointer conversions (minor)
  45. To: krotoff@such.srcc.msu.su (Alexander Krotoff)
  46. Date: Fri, 21 Jul 95 9:36:39 PDT
  47. In-Reply-To: <9507211206.AA00906@such.srcc.msu.su>; from "Alexander Krotoff" at Jul 21, 95 3:10 pm
  48. X-Mailer: ELM [version 2.3 PL11]
  49.  
  50. > As seems to me it's failed just becouse `ch_p' and `ch_pp' are never
  51. > initialized ;-) Is your example complete ?
  52.  
  53. I apologize for the error.  Here is a correct example.  I saw the
  54. segmentation fault and assumed it was due to accessing the const,
  55. but the const object is on the stack so it's not in read-only memory.
  56.  
  57. #include <iostream.h>
  58.  
  59. int main() {
  60.     const char ** const_ch_pp;
  61.     char * ch_p;
  62.     char ** ch_pp = & ch_p;
  63.     const char const_ch = 'a';
  64.     const char * const_ch_p = &const_ch;
  65.  
  66.     cout << "const_ch_p points to " << *const_ch_p << endl;
  67.     const_ch_pp = ch_pp;        // illegal, but you want it legal
  68.     *const_ch_pp = const_ch_p;  // copy const ptr to non-const ptr
  69.     *ch_p = 'b';                // now we can change the const object
  70.     cout << "const_ch_p points to " << *const_ch_p << endl;
  71. }
  72.  
  73. It's simply not debatable: it is unsafe to assign a char** to a const char**.
  74. --------------------------------------------------------------------
  75.